$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. $e$ $<$loc ${\it e'}$ $\in$ $\mathbb{B}$